Differential 2-rigs

نویسندگان

چکیده

We study the notion of a "differential 2-rig", category R with coproducts and monoidal structure distributing over them, also equipped an endofunctor D : -> that satisfies categorified analogue Leibniz rule. This is intended as tool to unify various applications such categories computer science, algebraic topology, enumerative combinatorics. The theory differential 2-rigs has geometric flavour but boils down specialization tensorial strengths on endofunctors; this builds surprising connection between apparently disconnected fields. build "free 2-rigs" signature, we prove initiality results: for example, certain colored species free 2-rig single generator.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Enriching Facial Blendshape Rigs with Physical Simulation

Oftentimes facial animation is created separately from overall body motion. Since convincing facial animation is challenging enough in itself, artists tend to create and edit the face motion in isolation. Or if the face animation is derived from motion capture, this is typically performed in a mo-cap booth while sitting relatively still. In either case, recombining the isolated face animation w...

متن کامل

What Really Rigs Up RIG-I?

RIG-I (retinoic acid-inducible gene 1) is an archetypal member of the cytoplasmic DEAD-box dsRNA helicase family (RIG-I-like receptors or RLRs), the members of which play essential roles in the innate immune response of the metazoan cell. RIG-I functions as a pattern recognition receptor that detects nonself RNA as a pathogen-associated molecular pattern (PAMP). However, the exact molecular nat...

متن کامل

Stereoscopic 3d Sports Content without Stereo Rigs

This contribution describes an alternative approach to generate stereoscopic content of sports scenes from regular broadcast cameras without the need for special stereo rigs. This is achieved by using 3D reconstruction previously developed for applications in post-match analysis. The reconstruction method requires at least 4-5 cameras and computes the 3D information automatically. Two different...

متن کامل

Scheduling workover rigs for onshore oil production

Many oil wells in Brazilian onshore fields rely on artificial lift methods. Maintenance services such as cleaning, reinstatement, stimulation and others are essential to these wells. These services are performed by workover rigs, which are avaliable on a limited number with respect to the number of wells demanding service. The decision of which workover rig should be sent to perform some mainte...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic proceedings in theoretical computer science

سال: 2023

ISSN: ['2075-2180']

DOI: https://doi.org/10.4204/eptcs.380.10